[IA64] VTI: Initialize VHPT headers invalid
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 31 May 2006 17:27:59 +0000 (11:27 -0600)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Wed, 31 May 2006 17:27:59 +0000 (11:27 -0600)
commit43d0ed3f2cca96495edd1acede1ad8941167724e
treed0f1fd69e193822d4829abc3a35c6947f2e55993
parentdb3dddaba018a87b4d3a69f20cf5e67e28d58399
[IA64] VTI: Initialize VHPT headers invalid

Signed-off-by: Anthony Xu < anthony.xu@intel.com >
xen/arch/ia64/vmx/vtlb.c